Standard model semantics for DSL a data type specification language
نویسندگان
چکیده
منابع مشابه
A DSL for EER Data Model Specification
In this paper we present a domain specific language (DSL) for Extended Entity-Relationship (EER) data model approach, named EERDSL. EERDSL is a part of our Multi-Paradigm Information System Modeling Tool (MIST) that provides EER database schema specification at the conceptual level and its transformation into a relational data model, or a class model. EERDSL modeling concepts are specified by E...
متن کاملDynSem: A DSL for Dynamic Semantics Specification
The formal semantics of a programming language and its implementation are typically separately defined, with the risk of divergence such that properties of the formal semantics are not properties of the implementation. In this paper, we present DynSem, a domain-specific language for the specification of the dynamic semantics of programming languages that aims at supporting both formal reasoning...
متن کاملxMOF: A Semantics Specification Language for Metamodeling
While MOF constitutes a standardized and widely accepted language for formally defining a modeling language’s abstract syntax, no standardized language for specifying its behavioral semantics exists. This impedes the efficient development of tools which build upon the behavioral semantics of modeling languages, such as model interpreters, debuggers, and testing environments. To address this sho...
متن کاملKM3: A DSL for Metamodel Specification
We consider in this paper that a DSL (Domain Specific Language) may be defined by a set of models. A typical DSL is the ATLAS Transformation Language (ATL). An ATL program transforms a source model (conforming to a source metamodel) into a target model (conforming to a target metamodel). Being itself a model, the transformation program conforms to the ATL metamodel. The notion of metamodel is t...
متن کاملDsl+l−decay beyond the standard model
The rare Bc → Dslldecay is investigated by using the most general model independent effective Hamiltonian. The general expressions of longitudinal, normal and transversal polarization asymmetries for l and l+ and the combined asymmetries of them are found. The dependencies of the branching ratios and polarizations on the new Wilson coefficients are presented. The analysis shows that the branchi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Informatica
سال: 1983
ISSN: 0001-5903,1432-0525
DOI: 10.1007/bf00263930